Functional languages

Results: 3400



#Item
41E ective Meta-programming in Declarative Languages Antony Francis Bowers A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosophy in the Faculty of

E ective Meta-programming in Declarative Languages Antony Francis Bowers A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosophy in the Faculty of

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:11
42RWset: Attacking Path Explosion in Constraint-Based Test Generation Cristian Cadar, Peter Boonstoppel, Dawson Engler TACAS 2008, Budapest, Hungary ETAPS 2008

RWset: Attacking Path Explosion in Constraint-Based Test Generation Cristian Cadar, Peter Boonstoppel, Dawson Engler TACAS 2008, Budapest, Hungary ETAPS 2008

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2016-03-08 07:04:46
43Rethinking Scala Macros Work in progress, not available yet Eugene Burmako École Polytechnique Fédérale de Lausanne http://scalamacros.org/

Rethinking Scala Macros Work in progress, not available yet Eugene Burmako École Polytechnique Fédérale de Lausanne http://scalamacros.org/

Add to Reading List

Source URL: scalamacros.org

Language: English - Date: 2016-08-18 07:56:24
44Designing a verifying compiler: Lessons learned from developing Whiley

Designing a verifying compiler: Lessons learned from developing Whiley

Add to Reading List

Source URL: homepages.ecs.vuw.ac.nz

Language: English - Date: 2015-11-05 20:25:54
45Overview Problem Solving, Programming, and Calculation Basic concepts of functional programming: computation by calculation, values, expressions, types, declarations

Overview Problem Solving, Programming, and Calculation Basic concepts of functional programming: computation by calculation, values, expressions, types, declarations

Add to Reading List

Source URL: www.idt.mdh.se

Language: English - Date: 2015-04-12 17:46:16
46Scala Macros Eugene Burmako, Denys Shabalin Martin Odersky Term generation def  specialized[T:  ClassTag](code:  =>  Any)  =  macro  ...   def  createArray[T:  ClassTag](size:  Int,  e

Scala Macros Eugene Burmako, Denys Shabalin Martin Odersky Term generation def  specialized[T:  ClassTag](code:  =>  Any)  =  macro  ...   def  createArray[T:  ClassTag](size:  Int,  e

Add to Reading List

Source URL: scalamacros.org

Language: English - Date: 2016-08-18 07:56:24
47Advances in Programming Languages APL10: State Transformers Ian Stark School of Informatics The University of Edinburgh Thursday 11 February

Advances in Programming Languages APL10: State Transformers Ian Stark School of Informatics The University of Edinburgh Thursday 11 February

Add to Reading List

Source URL: www.inf.ed.ac.uk

Language: English - Date: 2010-02-11 05:50:59
48White Paper Content Management Mobile Computing Web Services Enterprise Transaction Systems XML Databases Contents

White Paper Content Management Mobile Computing Web Services Enterprise Transaction Systems XML Databases Contents

Add to Reading List

Source URL: web.archive.org

Language: English
49Implementing a Bibliography Processor in Scheme Jean-Michel Hufflen LIFC (FRE CNRSUniversity of Franche-Comté 16, route de GrayBESANÇON CEDEX

Implementing a Bibliography Processor in Scheme Jean-Michel Hufflen LIFC (FRE CNRSUniversity of Franche-Comté 16, route de GrayBESANÇON CEDEX

Add to Reading List

Source URL: www.deinprogramm.de

Language: English - Date: 2005-10-09 10:53:55
50From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2

From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2012-08-23 01:56:39